翻訳と辞書 Words near each other ・ Ehrenfeld (surname) ・ Ehrenfeld Group ・ Ehrenfeld, Cologne ・ Ehrenfeld, Pennsylvania ・ Ehrenfels ・ Ehrenfels Castle (Grisons) ・ Ehrenfels Castle (Hesse) ・ Ehrenfelser ・ Ehrenfest ・ Ehrenfest equations ・ Ehrenfest model ・ Ehrenfest paradox ・ Ehrenfest theorem ・ Ehrenfest–Tolman effect ・ Ehrenfeucht–Fraïssé game ・ Ehrenfeucht–Mostowski theorem ・ Ehrenfeucht–Mycielski sequence ・ Ehrenfried Günther Freiherr von Hünefeld ・ Ehrenfried Patzel ・ Ehrenfried Pfeiffer ・ Ehrenfried Rudolph ・ Ehrenfried Walther von Tschirnhaus ・ Ehrenfried-Oskar Boege ・ Ehrenfriedersdorf ・ Ehrengard ・ Ehrengard Schramm ・ Ehrengrab ・ Ehrenhausen ・ Ehrenkirchen ・ Ehrenkrantz Eckstut & Kuhn Architects Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Ehrenfeucht–Mostowski theorem ： ウィキペディア英語版 Ehrenfeucht–Mostowski theorem In model theory, a field within mathematical logic, the Ehrenfeucht–Mostowski theorem gives conditions for the existence of a model with indiscernibles. ==Statement== A linearly ordered set ''X'' is called a set of indiscernibles of a model if the truth of a statement about elements of ''X'' depends only on their order. The Ehrenfeucht–Mostowski theorem states that if ''T'' is a theory with an infinite model, then there is a model of ''T'' containing any given linearly ordered set ''X'' as a set of indiscernibles. The proof uses Ramsey's theorem. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Ehrenfeucht–Mostowski theorem」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.